#define PIKA_VERSION_MAJOR 1
#define PIKA_VERSION_MINOR 12
#define PIKA_VERSION_MICRO 5

#define PIKA_EDIT_TIME "2023/08/08 22:10:05"
